LightNews — News, ranked by scholars

Robert the Battletoad

@robertbattletoad.bsky.social

Speedball chants!

Or Ballspeed chants. Depends on perspective. #AEWDynamite

March 12, 2026 at 12:43 AM

Olaf Lehmann

@quadriga24.bsky.social

World Humanoid Robot Games: Ballspeed-Test und Freistoß-Challenge share.google/G48CrMHGtJFe...

World Humanoid Robot Games: Ballspeed-Test und Freistoß-Challenge

Enjoy the videos and music you love, upload original content, and share it all with friends, family, and the world on YouTube.

share.google

August 24, 2026 at 9:28 AM

Kiran

@kirancodes.me

Left: dependent types nonsense (fancy subst function)

Right: imperative game programming nonsense (bouncing ball using #raylib)

The potentials for procrastination in #Lean4 are endless~

$A snippet of Lean4 code showing a dependently typed program that implements a substitution function for expressions with holes, such that the type of subst accepts as many arguments as there are holes in the expression. The code is as follows: ``` -- expressions with holes inductive Expr | Hole | Int (n: Nat) | Add (l r: Expr) deriving Repr, BEq instance : Coe Nat Expr where coe := .Int instance : HAdd Expr Expr Expr where hAdd := .Add -- compute the dependent type of subst on expr def subst_type_k (expr : Expr) : Type -> Type := match expr with | .Hole => (fun ty => Expr -> ty) | .Int _ => fun ty => ty | .Add l r => fun ty => subst_type_k l (subst_type_k r ty) def subst_k {T} (e: Expr) (k: Expr -> T) : subst_type_k e T := match e with | .Hole => fun e => k e | .Int i => k (.Int i) | .Add l r => subst_k l (fun l => subst_k r (fun r => k (.Add l r))) -- subst function: given expr with holes, and args for each hole, substs them def subst (e: Expr) := subst_k e (fun e => e) #eval (subst (.Hole + .Int 1) (4 : Nat) : Expr) -- (4 + 1) #eval subst (.Int 1 + (.Hole + .Int 3) + .Hole) (4 : Nat) (2 : Nat) -- (1 + (4 + 2) + 2) ```$

Screenshot of some lean4 code implementing one of the examples from the Raylib game programming library which displays a bouncing ball on the screen~

The code snippet is as follows:

```
while !shouldClose do
if (<- Raylib.windowShouldClose) then
shouldClose := Bool.true

if <- Raylib.isKeyPressed Raylib.KeyboardKey.space then
pause := !pause

if !pause then
ballPosition := moveBall ballPosition ballSpeed
if inBounds ballPosition.x ballRadius (<- Raylib.getScreenWidth).toFloat32 then
ballSpeed := {ballSpeed with x := ballSpeed.x * -1.0}
if inBounds ballPosition.y ballRadius (<- Raylib.getScreenHeight).toFloat32 then
ballSpeed := {ballSpeed with y := ballSpeed.y * -1.0}
else
framesCounter := framesCounter + 1

Raylib.beginDrawing

Raylib.clearBackground Raylib.Color.white

Raylib.drawCircleV ballPosition ballRadius Raylib.Color.blue

if pause && (framesCounter/30) % 2 == 0 then
Raylib.drawText "Paused" 350 200 30 Raylib.Color.gray

Raylib.drawFPS 10 10

Raylib.endDrawing
```

November 16, 2024 at 5:43 PM

Isaac Person

@ambiguous-credenza.bsky.social

And I suppose we already have Dark Speedball so will hopefully be spared the indignity of BallSpeed 🤮

May 17, 2025 at 8:54 PM

Sebinho

@sebinho9.bsky.social

Agree. While we are on tactical subtleties I endorse, I will also scream until I’m purple that:

1) our front 3 should routinely swap places during games
2) Saka should play more at 10
3) Martinelli has gas. We could use it?
4) We can up ballspeed by playing it ahead of receiver, not to his feet.

August 7, 2026 at 7:51 PM

George's Tern

@georges-tern.bsky.social

Reasonable, informative and broadly agree. Packer superior ballspeed and engagement with defenders. Curious how little we saw from a 9 other than Hunt or Packer this W6N. Robinson had a cameo; no Wyrwas. Who could be trusted if MH or LP are unavailable? Could one of them even be a deserving starter?

April 26, 2025 at 10:21 PM

Golf Decode

@owengolfdecode.bsky.social

How does your swing speed compare with the PGA Tour?
GolfDecode breaks down PGA Tour swing speed and ball speed by club, including smash factor, launch, spin and carry distance.
Read the:
golfdecode.com/pga-tour-ave... #PGATour #GolfTips #GolfSwing #SwingSpeed #BallSpeed #GolfDistance #GolfUSA#Golf

Tour Pro Swing Speed & Ball Speed Averages: Full Chart by Club

Full PGA and LPGA Tour average stats by club: swing speed, ball speed, smash factor, launch angle, and spin rate driver through irons.

golfdecode.com

August 23, 2026 at 4:48 AM

Indies Immerzu

@nindiesnonstop.bsky.social

Neue Podcast folge!
Es geht um das Videospiel "Mother Russia Bleeds". Ein klassisches Beat'em-Up, das in einer kalten, gnadenlosen Sowjetunion spielt.

podcasters.spotify.com/pod/show/nin...

Indie Tüte: Mother Russia Bleeds (Mit Phils3r, Machomanmo, Ballspeed und Flux) by Nindies Nonstop -...

In dieser Folge sprechen wir über das Videospiel Mother Russia Bleeds. Das Spiel ist ein klassisches Beat’em-Up, das in einer kalten, gnadenlosen Sowjetunion spielt. In “Mother Russia Bleeds” g...

podcasters.spotify.com

January 21, 2024 at 11:07 PM

Sebinho

@sebinho9.bsky.social

Have to get the ballspeed up and make more supporting runs.

June 27, 2026 at 9:45 PM

GOLF JAPAN 日本ゴルフ

@golfjapan.bsky.social

83 BALLSPEED #golf #golfswing #shorts ゴルフドラコン

https://www.golftweet.com/614769/

83 BALLSPEED #golf…

83 BALLSPEED #golf #golfswing #shorts ゴルフドラコン - GOLF JAPAN 日本ゴルフ

#一本足打法 #golf #golfswing #golfer #ドローボール #ドラコン #ロングドライブ #ゴルフ #ドライバー #300ヤード #ヘッドスピード #日本大会 #JLDC #LDJ #WLD

www.golftweet.com

April 7, 2026 at 7:31 AM

ふまふま５～💪

@fuma24.bsky.social

元気曲聴いてそろそろ寝なきゃ(^-^;
M.O.V.E
スピードマスター　音のみだけど
ドゾ

m.youtube.com/watch?v=umAA...

SPEED MASTER Instrumental

Provided to YouTube by avex tuneSPEED MASTER Instrumental · m.o.v.e feat. 8-BALLSPEED MASTER℗ AVEX ENTERTAINMENT INC.Released on: 2007-08-22Composer: t-kimur...

m.youtube.com

March 21, 2024 at 8:18 PM

FOGOLF, FOLLOW GOLF

@fogolf.bsky.social

Novices/Beginners: Do Yourself a Favor and Shorten Your Backswing.

https://www.fogolf.com/807895/novices-beginners-do-yourself-a-favor-and-shorten-your-backswing/

I was watching Grant Horvat host Tony Finau on his channel and Grant asked Tony why he takes a short backswing. Tony said he learned …